<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading types.html info file... 
<script language="javascript">
var at=parent.at;
if(at== undefined) { alert('The code is not yet loaded'); }
at(0,'__anonstruct_s3_1@0:3');
at(1,'__anonstruct_s4_2@0:4');
at(2,'large@0:2');
at(3,'printf_arguments@0:0');
at(4,'small@0:1');

</script>Done</html>
